ソフトウェアの基礎理論① プログラムの形式化――プログラムのモデルであるプログラム形を考え，その性質を定義する